Pavel Materna CONCEPTS AS HYPERINTENSIONAL OBJECTS

Procedural Semantics for Hyperintensional Logic - Foundations and Applications of Transparent Intensional Logic

In this age of modern era, the use of internet must be maximized. Yeah, internet will help us very much not only for important thing but also for daily activities. Many people now, from any level can use internet. The sources of internet connection can also be enjoyed in many places. As one of the benefits is to get the on-line procedural semantics for hyperintensional logic foundations and app...

An intensional approach to questions

Questions are shown to be either intensions (the values of which in the actual world one wants to know), or "constructions" that construct objects, or "meta-constructions" that construct constructions. The concepts of presuppositions (of questions), of redundant and of non-redundant answers to questions, of indirect and of partial answers, as well as some other concepts are defined. An applicat...

Rehabilitation of Concepts

Pavel Materna IS TRANSPARENT INTENSIONAL LOGIC A NON - CLASSICAL LOGIC ?

It is shown that: (a) classicality is connected with various criteria some of which are fulfilled by TIL while some other are not; (b) some more general characteristic of classicality connects it with philosophical realism whereas (radical) anti-realism is connected with nonclassical logics; (c) TIL is highly expressive due to its hyperintensionality, which makes it possible to handle procedure...

Temporal Aspects of Knowledge and Information

The authors of the paper have proposed a collaborative research project that should start in 2010 and proceed in three successive years. The goal of the proposed project is to develop tools and mechanisms for computer-aided natural-language analysis, knowledge management and reasoning. In a broader sense, the main objective is to propose a new solution to natural language analysis and reasoning...